Failure Mode Assumptions and Assumption Coverage
نویسنده
چکیده
A method is proposed for the formal analysis of failure mode assumptions and for the evaluation of the dependability of systems whose design correctness is conditioned on the validity of such assumptions. Formal definitions are given for the types of errors that can affect items of service delivered by a system or component. Failure mode assumptions are then formalized as assertions on the types of errors that a component may induce in its enclosing system. The concept of assumption coverage is introduced to relate the notion of partiallyordered assumption assertions to the quantification of system dependability. Assumption coverage is shown to be extremely important in systems requiring very high dependability. It is also shown that the need to increase system redundancy to accommodate more severe modes of component failure can sometimes result in a decrease in dependability.
منابع مشابه
Automating Analog Test Design
A method of performing analog/mixed signal test will be described based on the assumption that: 1. All failure modes do not have to be defined. 2. The majority of failures are described by catastrophic faults [1-3]. Working forward from these assumptions, a comprehensive method will be presented that results in identifying a test suite that can serve either as a product acceptance test or a fie...
متن کاملThe Need for Realistic Failure Models in Protocol Design
Fault tolerant algorithms are often designed under the assumption that no more than t out of n processes or components can fail. This approach was pioneered by the SIFT project [22], and has since been widely applied to the design of algorithms for real critical systems, e.g., air traffic control [6], other highly available services like file servers [15], and so on. It is such a common assumpt...
متن کاملFuzzy Reliability Evaluation of a Repairable System with Imperfect Coverage, Reboot and Common-cause Shock Failure
In the present investigation, we deal with the reliability characteristics of a repairable system consisting of two independent operating units, by incorporating the coverage factor. The probability of the successful detection, location and recovery from a failure is known as the coverage probability. The reboot delay and common cause shock failure are also considered. The times to failure of t...
متن کاملA Preemptive multimode resource constrained project scheduling model with cash flows
Resource constrained project scheduling problem is one of the most important issues in project planning and management. The objective function of this problem is to minimize the completion time of a project. When there is budget constraint or high risk for investment, using the criteria such as cash flows is so important. The development of computer systems and processors makes it possible to t...
متن کاملRisø-m-2351 Formalized Search Strategies for Human Risk Contributions: a Framework for Further Development
For risk management, the results of a probabilistic risk analysis (PRA) as well as the underlying assumptions can be used as references in a closed-loop risk control; and the analyses of operational experiences as a means of feedback. In this context, the need for explicit definition and documentation of the PRA coverage, including the search strategies applied, is discussed and aids are propos...
متن کامل